<?php

function GetMonthAbbreviationFromMonthNumber($monthNumber) {
    $abbreviatedMonthName = "";
    switch ($monthNumber) {
        case 1:
            $abbreviatedMonthName = "Jan";
            break;
        case 2:
            $abbreviatedMonthName = "Feb";
            break;
        case 3:
            $abbreviatedMonthName = "Mar";
            break;
        case 4:
            $abbreviatedMonthName = "Apr";
            break;
        case 5:
            $abbreviatedMonthName = "May";
            break;
        case 6:
            $abbreviatedMonthName = "Jun";
            break;
        case 7:
            $abbreviatedMonthName = "Jul";
            break;
        case 8:
            $abbreviatedMonthName = "Aug";
            break;
        case 9:
            $abbreviatedMonthName = "Sep";
            break;
        case 10:
            $abbreviatedMonthName = "Oct";
            break;
        case 11:
            $abbreviatedMonthName = "Nov";
            break;
        case 12:
            $abbreviatedMonthName = "Dec";
            break;
    }
    echo($abbreviatedMonthName);
}

?>
